#!/usr/bin/env /friends/bin/cscript
#include <stdio.h>
int main() {
  printf("%Lx\n", (unsigned long long)(0x8000000000000000));
}