document.write (" 22712 ");