document.write (" 12848 ");