document.write (" 51712 ");