document.write (" 12258 ");