document.write (" 12497 ");