document.write (" 10745 ");