document.write (" 10072 ");