document.write (" 12495 ");