document.write (" 12439 ");