document.write (" 10073 ");