document.write (" 12492 ");