document.write('0400\n');