document.write (" 13672 ");