document.write (" 12490 ");