#!/usr/bin/env /friends/bin/cxxscript
#include <iostream>
int main (){
  std::cout.fill('0');
  std::cout.setw(4);
  std::cout << std::hex  << 15;
  return 0;
}