document.write (" 10042 ");