document.write('0667\n');