document.write('0802\n');