document.write('0288\n');