document.write (" 17712 ");