document.write (" 10488 ");