/*
TASK: n23
LANG: C
*/

#include <stdio.h>

int n;
char a[20][50]=
{
"2",
"32",
"32",
"32",
"32",
"23232",
"223232",
"223232",
"223232",
"223232",
"223232",
"32223232",
"3323232223232",
"3323232223232",
"3323232223232",
"3323323232223232",
"33323323232223232",
"333323323232223232"
};

int main(void)
{
	scanf("%d",&n);
	printf("%s\n,%d",a[n],n);
	return 0;
}
