document.write (" 10315 ");