document.write (" 13372 ");