document.write (" 14072 ");