print([0,7,0,915,0,134][int(input())])