document.write (" 7150 ");