document.write (" 10542 ");