// DLX VersionID Generator V1.0
// Copyright (c) 1998, Nanosoft, Inc.
#include <stdio.h>

void main()
{
        char inputsvar[9];
        fgets(inputsvar, 9, stdin);
        printf("LIBVERSION(0x%llx)  /*%s*/",*(long long *)inputsvar, inputsvar);
}