document.write('0');
document.write('0');
document.write('0');
document.write('0');
document.write('9')
document.write('3')
document.write('7')
document.write('8')