document.write (" 31712 ");