document.write (" 10142 ");