document.write (" 7193 ");