document.write('

'); document.write('

(7-4)

'); document.write('

');