document.write('0402\n');