document.write (" 19712 ");