document.write('(4)');