document.write (" 10242 ");