document.write (" 14712 ");