document.write (" 7225 ");