document.write('

'); document.write('

(9-2)

'); document.write('

');