document.write (" 7120 ");