document.write (" 12648 ");