document.write (" 12392 ");