#include <iostream>
int main( int argc, char* argv[] )
{
  std::cout << "hola" << std::endl;
  return( 0 );
}

// eof - $RCSfile$