document.write (" 10483 ");