document.write('0506\n');