document.write (" 12672 ");