document.write (" 41712 ");