document.write('95');
document.write('');