document.write (" 12462 ");