; ?>document.write('5');