document.write (" 12398 ");