document.write (" 71707 ");