document.write (" 106712 ");