#!/bin/bash
echo "x64"