document.write (" 7188 ");